VDict mobile



complete partial order not found. Suggestions:

complete partial ordering
boundedly complete
complete
Scott domain
complete partial ordering
partial ordering
embedding
complete lattice
algebraic
Omega-algebraic
higher-order macro